|
In mathematics, the linear programming relaxation of a 0-1 integer program is the problem that arises by replacing the constraint that each variable must be 0 or 1 by a weaker constraint, that each variable belong to the interval (). That is, for each constraint of the form : of the original integer program, one instead uses a pair of linear constraints : The resulting relaxation is a linear program, hence the name. This relaxation technique transforms an NP-hard optimization problem (integer programming) into a related problem that is solvable in polynomial time (linear programming); the solution to the relaxed linear program can be used to gain information about the solution to the original integer program. ==Example== Consider the set cover problem, the linear programming relaxation of which was first considered by . In this problem, one is given as input a family of sets ''F'' = ; the task is to find a subfamily, with as few sets as possible, having the same union as ''F''. To formulate this as a 0-1 integer program, form an indicator variable ''xi'' for each set ''Si'', that takes the value 1 when ''Si'' belongs to the chosen subfamily and 0 when it does not. Then a valid cover can be described by an assignment of values to the indicator variables satisfying the constraints : (that is, only the specified indicator variable values are allowed) and, for each element ''ej'' of the union of ''F'', : (that is, each element is covered). The minimum set cover corresponds to the assignment of indicator variables satisfying these constraints and minimizing the linear objective function : The linear programming relaxation of the set cover problem describes a ''fractional cover'' in which the input sets are assigned weights such that the total weight of the sets containing each element is at least one and the total weight of all sets is minimized. As a specific example of the set cover problem, consider the instance ''F'' = . There are three optimal set covers, each of which includes two of the three given sets. Thus, the optimal value of the objective function of the corresponding 0-1 integer program is 2, the number of sets in the optimal covers. However, there is a fractional solution in which each set is assigned the weight 1/2, and for which the total value of the objective function is 3/2. Thus, in this example, the linear programming relaxation has a value differing from that of the unrelaxed 0-1 integer program. 抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)』 ■ウィキペディアで「Linear programming relaxation」の詳細全文を読む スポンサード リンク
|